exactness axiom

正合性公理